Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
11	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
12	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL
13	Earthquake: An Open-Source Framework of Implementation-Level Distributed System Model Checkers Akihiro Suda, Hitoshi Mitake, and Tomonori Fujita (NTT Software Innovation Center) http://osrg.github.io/earthquake/ Add to Reading List Source URL: acmsocc.github.io Language: English - Date: 2016-02-21 03:10:50 Software Computing Data management Configuration management NoSQL Apache ZooKeeper Hadoop Netfilter Zookeeper Ethernet Apache Cassandra Software bug
14	Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013 Add to Reading List Source URL: anna.fi.muni.cz Language: English - Date: 2013-01-17 12:35:21 Software Model checking Computing Linear temporal logic Temporal logic Bauch LLVM Parallel computing Formal methods Model checkers
15	Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens Add to Reading List Source URL: fsen.ir Language: English - Date: 2011-03-09 05:00:02 Model checkers Model checking Coffee Break PAT Automata Process calculus Food and drink
16	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV
17	Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Add to Reading List Source URL: smt2013.fbk.eu Language: English - Date: 2013-07-15 07:39:36
18	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation
19	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
20	A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2013-12-14 22:31:51 Automata theory Computing Application software Models of computation Uppaal Model Checker Stateflow Simulink Finite-state machine Valuation Visual programming languages Model checkers Software